Formal methods

A requirements-based programming approach to developing a NASA autonomous ground control system

Cognitive Science / Artificial Intelligence / Formal methods / Control system / Verification / Formal method / Autonomous Systems / Autonomic System / Automatic code generation / Formal method / Autonomous Systems / Autonomic System / Automatic code generation

A Formal Methodology to Specify E-commerce Systems

Model Checking / Process Control / Symbolic Computation / Formal methods / Design process / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking

Copyright © 2017 DADOSPDF Inc.